<?php
var_dump (0 % 0); // { phc-warning: Division by zero }
?>
